Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
961	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Logical syntax Elementary mathematics Non-classical logic Formal languages Logic programming Circumscription Well-formed formula Logical connective Function Logic Mathematics Mathematical logic
962	IFC Inside: Retrofitting Languages with Dynamic Information Flow Control (Extended Version) Add to Reading List Source URL: ezyang.com Language: English - Date: 2015-03-19 00:33:40 Metalogic Logic Structure Programming language Mathematics Formal languages Model theory
963	Combining semantic interpretation and statistical classification for improved explanation processing in a tutorial dialogue system Myroslava O. Dzikovska, Elaine Farrow, and Johanna D. Moore? School of Informatics, Unive Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-03 12:16:35 Natural language processing Semantic similarity SemEval Statistical classification Classifier Logic programming AutoTutor Computational linguistics Linguistics Science
964	Innocent Game Models of Untyped Lambda Calculus Andrew D. Ker University College, Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-07-16 07:23:10 Mathematics Denotational semantics Lambda calculus Typed lambda calculus Game semantics Semantics of programming languages Combinatory logic Semantics Functional programming Theoretical computer science Logic in computer science Applied mathematics
965	Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2005-02-14 11:22:18 Mathematics Automated planning and scheduling Programming paradigms Operations research Planning Domain Definition Language Logic in computer science Boolean satisfiability problem Constraint satisfaction Linear programming Theoretical computer science Applied mathematics Constraint programming
966	Parallel Belief Revision James Delgrande and Yi Jin School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-09-10 12:33:34 Logic programming Entailment Constructible universe Logic Belief revision Knowledge representation
967	Microsoft Word - uclg2013.doc Add to Reading List Source URL: home.uchicago.edu Language: English - Date: 2013-10-02 14:37:41 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
968	UNIVERSITY OF CAMBRIDGE COMPUTER LABORATORY Part IA: Structure of Papers 1 and 2 in 2015 Paper 1 Section A Attempt 1 question Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-04-13 06:49:04 Programming paradigms Applied mathematics Denotational semantics Computing Algorithm Computer Parallel computing Distributed computing Semantics of programming languages Theoretical computer science Logic in computer science Computer science
969	Planning Modulo Theories: Extending the Planning Paradigm Peter Gregory Derek Long and Maria Fox J. Christopher Beck Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-04-19 08:48:52 Automated planning and scheduling Propositional calculus Constraint programming Formal methods Planning Domain Definition Language Boolean algebra Satisfiability Modulo Theories Interpretation Function Logic Mathematics Mathematical logic
970	Continuous Time in a SAT-based Planner Ji-Ae Shin and Ernest Davis∗ Courant Institute New York University { jiae \| davise }@cs.nyu.edu Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2006-05-25 12:15:43 Logic in computer science Software engineering Constraint programming Fluent Computer programming Automated planning and scheduling Artificial intelligence Planning Domain Definition Language

UPDATE